H-Termination proof of /home/matraf/haskell/eval_FullyBlown

YES 122.354 H-Termination proof of /home/matraf/haskell/eval_FullyBlown_Fast/List.hs
H-Termination of the given Haskell-Program with start terms could successfully be proven:

↳ HASKELL

  ↳ BR

mainModule List

((nub :: [Char] -> [Char]) :: [Char] -> [Char])

module List where

import qualified Maybe
import qualified Prelude

nub :: Eq a => [a] -> [a]

nub

nub' l []

where

nub'

[] _

[]

nub'

(x : xs) ls

x `elem` ls

nub' xs ls

otherwise

x : nub' xs (x : ls)

module Maybe where

import qualified List
import qualified Prelude

Replaced joker patterns by fresh variables and removed binding patterns.

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

mainModule List

((nub :: [Char] -> [Char]) :: [Char] -> [Char])

module List where

import qualified Maybe
import qualified Prelude

nub :: Eq a => [a] -> [a]

nub

nub' l []

where

nub'

[] vw

[]

nub'

(x : xs) ls

x `elem` ls

nub' xs ls

otherwise

x : nub' xs (x : ls)

module Maybe where

import qualified List
import qualified Prelude

Cond Reductions:
The following Function with conditions

nub' [] vw = []

nub' (x : xs) ls

| x `elem` ls

= nub' xs ls

| otherwise

= x : nub' xs (x : ls)

is transformed to

nub' [] vw = nub'3 [] vw

nub' (x : xs) ls = nub'2 (x : xs) ls

nub'0 x xs ls True = x : nub' xs (x : ls)

nub'1 x xs ls True = nub' xs ls

nub'1 x xs ls False = nub'0 x xs ls otherwise

nub'2 (x : xs) ls = nub'1 x xs ls (x `elem` ls)

nub'3 [] vw = []

nub'3 wv ww = nub'2 wv ww

The following Function with conditions

undefined

| False

= undefined

is transformed to

undefined = undefined1

undefined0 True = undefined

undefined1 = undefined0 False

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ LetRed

mainModule List

((nub :: [Char] -> [Char]) :: [Char] -> [Char])

module List where

import qualified Maybe
import qualified Prelude

nub :: Eq a => [a] -> [a]

nub

nub' l []

where

nub'	[] vw	=	nub'3 [] vw
nub'	(x : xs) ls	=	nub'2 (x : xs) ls

nub'0

x xs ls True

x : nub' xs (x : ls)

nub'1	x xs ls True	=	nub' xs ls
nub'1	x xs ls False	=	nub'0 x xs ls otherwise

nub'2

(x : xs) ls

nub'1 x xs ls (x `elem` ls)

nub'3	[] vw	=	[]
nub'3	wv ww	=	nub'2 wv ww

module Maybe where

import qualified List
import qualified Prelude

Let/Where Reductions:
The bindings of the following Let/Where expression

nub' l []

where

nub' [] vw = nub'3 [] vw

nub' (x : xs) ls = nub'2 (x : xs) ls

nub'0 x xs ls True = x : nub' xs (x : ls)

nub'1 x xs ls True = nub' xs ls

nub'1 x xs ls False = nub'0 x xs ls otherwise

nub'2 (x : xs) ls = nub'1 x xs ls (x `elem` ls)

nub'3 [] vw = []

nub'3 wv ww = nub'2 wv ww

are unpacked to the following functions on top level

nubNub'3 [] vw = []

nubNub'3 wv ww = nubNub'2 wv ww

nubNub' [] vw = nubNub'3 [] vw

nubNub' (x : xs) ls = nubNub'2 (x : xs) ls

nubNub'0 x xs ls True = x : nubNub' xs (x : ls)

nubNub'1 x xs ls True = nubNub' xs ls

nubNub'1 x xs ls False = nubNub'0 x xs ls otherwise

nubNub'2 (x : xs) ls = nubNub'1 x xs ls (x `elem` ls)

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ LetRed

            ↳ HASKELL

              ↳ Narrow

mainModule List

(nub :: [Char] -> [Char])

module List where

import qualified Maybe
import qualified Prelude

nub :: Eq a => [a] -> [a]

nub

nubNub' l []

nubNub'	[] vw	=	nubNub'3 [] vw
nubNub'	(x : xs) ls	=	nubNub'2 (x : xs) ls

nubNub'0

x xs ls True

x : nubNub' xs (x : ls)

nubNub'1	x xs ls True	=	nubNub' xs ls
nubNub'1	x xs ls False	=	nubNub'0 x xs ls otherwise

nubNub'2

(x : xs) ls

nubNub'1 x xs ls (x `elem` ls)

nubNub'3	[] vw	=	[]
nubNub'3	wv ww	=	nubNub'2 wv ww

module Maybe where

import qualified List
import qualified Prelude

Haskell To QDPs

digraph dp_graph {
node [outthreshold=100, inthreshold=100];1[label="nub",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
3[label="nub wx3",fontsize=16,color="black",shape="triangle"];3 -> 4[label="",style="solid", color="black", weight=3];
4[label="nubNub' wx3 []",fontsize=16,color="burlywood",shape="box"];40760[label="wx3/wx30 : wx31",fontsize=10,color="white",style="solid",shape="box"];4 -> 40760[label="",style="solid", color="burlywood", weight=9];
40760 -> 5[label="",style="solid", color="burlywood", weight=3];
40761[label="wx3/[]",fontsize=10,color="white",style="solid",shape="box"];4 -> 40761[label="",style="solid", color="burlywood", weight=9];
40761 -> 6[label="",style="solid", color="burlywood", weight=3];
5[label="nubNub' (wx30 : wx31) []",fontsize=16,color="black",shape="box"];5 -> 7[label="",style="solid", color="black", weight=3];
6[label="nubNub' [] []",fontsize=16,color="black",shape="box"];6 -> 8[label="",style="solid", color="black", weight=3];
7[label="nubNub'2 (wx30 : wx31) []",fontsize=16,color="black",shape="box"];7 -> 9[label="",style="solid", color="black", weight=3];
8[label="nubNub'3 [] []",fontsize=16,color="black",shape="box"];8 -> 10[label="",style="solid", color="black", weight=3];
9[label="nubNub'1 wx30 wx31 [] (wx30 `elem` [])",fontsize=16,color="black",shape="box"];9 -> 11[label="",style="solid", color="black", weight=3];
10[label="[]",fontsize=16,color="green",shape="box"];11[label="nubNub'1 wx30 wx31 [] (any . (==))",fontsize=16,color="black",shape="box"];11 -> 12[label="",style="solid", color="black", weight=3];
12[label="nubNub'1 wx30 wx31 [] (any ((==) wx30) [])",fontsize=16,color="black",shape="box"];12 -> 13[label="",style="solid", color="black", weight=3];
13[label="nubNub'1 wx30 wx31 [] (or . map ((==) wx30))",fontsize=16,color="black",shape="box"];13 -> 14[label="",style="solid", color="black", weight=3];
14[label="nubNub'1 wx30 wx31 [] (or (map ((==) wx30) []))",fontsize=16,color="black",shape="box"];14 -> 15[label="",style="solid", color="black", weight=3];
15[label="nubNub'1 wx30 wx31 [] (foldr (||) False (map ((==) wx30) []))",fontsize=16,color="black",shape="box"];15 -> 16[label="",style="solid", color="black", weight=3];
16[label="nubNub'1 wx30 wx31 [] (foldr (||) False [])",fontsize=16,color="black",shape="box"];16 -> 17[label="",style="solid", color="black", weight=3];
17[label="nubNub'1 wx30 wx31 [] False",fontsize=16,color="black",shape="box"];17 -> 18[label="",style="solid", color="black", weight=3];
18[label="nubNub'0 wx30 wx31 [] otherwise",fontsize=16,color="black",shape="box"];18 -> 19[label="",style="solid", color="black", weight=3];
19[label="nubNub'0 wx30 wx31 [] True",fontsize=16,color="black",shape="box"];19 -> 20[label="",style="solid", color="black", weight=3];
20[label="wx30 : nubNub' wx31 (wx30 : [])",fontsize=16,color="green",shape="box"];20 -> 21[label="",style="dashed", color="green", weight=3];
21[label="nubNub' wx31 (wx30 : [])",fontsize=16,color="burlywood",shape="triangle"];40762[label="wx31/wx310 : wx311",fontsize=10,color="white",style="solid",shape="box"];21 -> 40762[label="",style="solid", color="burlywood", weight=9];
40762 -> 22[label="",style="solid", color="burlywood", weight=3];
40763[label="wx31/[]",fontsize=10,color="white",style="solid",shape="box"];21 -> 40763[label="",style="solid", color="burlywood", weight=9];
40763 -> 23[label="",style="solid", color="burlywood", weight=3];
22[label="nubNub' (wx310 : wx311) (wx30 : [])",fontsize=16,color="black",shape="box"];22 -> 24[label="",style="solid", color="black", weight=3];
23[label="nubNub' [] (wx30 : [])",fontsize=16,color="black",shape="box"];23 -> 25[label="",style="solid", color="black", weight=3];
24[label="nubNub'2 (wx310 : wx311) (wx30 : [])",fontsize=16,color="black",shape="box"];24 -> 26[label="",style="solid", color="black", weight=3];
25[label="nubNub'3 [] (wx30 : [])",fontsize=16,color="black",shape="box"];25 -> 27[label="",style="solid", color="black", weight=3];
26[label="nubNub'1 wx310 wx311 (wx30 : []) (wx310 `elem` wx30 : [])",fontsize=16,color="black",shape="box"];26 -> 28[label="",style="solid", color="black", weight=3];
27[label="[]",fontsize=16,color="green",shape="box"];28[label="nubNub'1 wx310 wx311 (wx30 : []) (any . (==))",fontsize=16,color="black",shape="box"];28 -> 29[label="",style="solid", color="black", weight=3];
29[label="nubNub'1 wx310 wx311 (wx30 : []) (any ((==) wx310) (wx30 : []))",fontsize=16,color="black",shape="box"];29 -> 30[label="",style="solid", color="black", weight=3];
30[label="nubNub'1 wx310 wx311 (wx30 : []) (or . map ((==) wx310))",fontsize=16,color="black",shape="box"];30 -> 31[label="",style="solid", color="black", weight=3];
31[label="nubNub'1 wx310 wx311 (wx30 : []) (or (map ((==) wx310) (wx30 : [])))",fontsize=16,color="black",shape="box"];31 -> 32[label="",style="solid", color="black", weight=3];
32[label="nubNub'1 wx310 wx311 (wx30 : []) (foldr (||) False (map ((==) wx310) (wx30 : [])))",fontsize=16,color="black",shape="box"];32 -> 33[label="",style="solid", color="black", weight=3];
33[label="nubNub'1 wx310 wx311 (wx30 : []) (foldr (||) False (((==) wx310 wx30) : map ((==) wx310) []))",fontsize=16,color="black",shape="box"];33 -> 34[label="",style="solid", color="black", weight=3];
34[label="nubNub'1 wx310 wx311 (wx30 : []) ((||) (==) wx310 wx30 foldr (||) False (map ((==) wx310) []))",fontsize=16,color="black",shape="box"];34 -> 35[label="",style="solid", color="black", weight=3];
35[label="nubNub'1 wx310 wx311 (wx30 : []) ((||) primEqChar wx310 wx30 foldr (||) False (map (primEqChar wx310) []))",fontsize=16,color="burlywood",shape="box"];40764[label="wx310/Char wx3100",fontsize=10,color="white",style="solid",shape="box"];35 -> 40764[label="",style="solid", color="burlywood", weight=9];
40764 -> 36[label="",style="solid", color="burlywood", weight=3];
36[label="nubNub'1 (Char wx3100) wx311 (wx30 : []) ((||) primEqChar (Char wx3100) wx30 foldr (||) False (map (primEqChar (Char wx3100)) []))",fontsize=16,color="burlywood",shape="box"];40765[label="wx30/Char wx300",fontsize=10,color="white",style="solid",shape="box"];36 -> 40765[label="",style="solid", color="burlywood", weight=9];
40765 -> 37[label="",style="solid", color="burlywood", weight=3];
37[label="nubNub'1 (Char wx3100) wx311 (Char wx300 : []) ((||) primEqChar (Char wx3100) (Char wx300) foldr (||) False (map (primEqChar (Char wx3100)) []))",fontsize=16,color="black",shape="box"];37 -> 38[label="",style="solid", color="black", weight=3];
38[label="nubNub'1 (Char wx3100) wx311 (Char wx300 : []) ((||) primEqNat wx3100 wx300 foldr (||) False (map (primEqChar (Char wx3100)) []))",fontsize=16,color="burlywood",shape="box"];40766[label="wx3100/Succ wx31000",fontsize=10,color="white",style="solid",shape="box"];38 -> 40766[label="",style="solid", color="burlywood", weight=9];
40766 -> 39[label="",style="solid", color="burlywood", weight=3];
40767[label="wx3100/Zero",fontsize=10,color="white",style="solid",shape="box"];38 -> 40767[label="",style="solid", color="burlywood", weight=9];
40767 -> 40[label="",style="solid", color="burlywood", weight=3];
39[label="nubNub'1 (Char (Succ wx31000)) wx311 (Char wx300 : []) ((||) primEqNat (Succ wx31000) wx300 foldr (||) False (map (primEqChar (Char (Succ wx31000))) []))",fontsize=16,color="burlywood",shape="box"];40768[label="wx300/Succ wx3000",fontsize=10,color="white",style="solid",shape="box"];39 -> 40768[label="",style="solid", color="burlywood", weight=9];
40768 -> 41[label="",style="solid", color="burlywood", weight=3];
40769[label="wx300/Zero",fontsize=10,color="white",style="solid",shape="box"];39 -> 40769[label="",style="solid", color="burlywood", weight=9];
40769 -> 42[label="",style="solid", color="burlywood", weight=3];
40[label="nubNub'1 (Char Zero) wx311 (Char wx300 : []) ((||) primEqNat Zero wx300 foldr (||) False (map (primEqChar (Char Zero)) []))",fontsize=16,color="burlywood",shape="box"];40770[label="wx300/Succ wx3000",fontsize=10,color="white",style="solid",shape="box"];40 -> 40770[label="",style="solid", color="burlywood", weight=9];
40770 -> 43[label="",style="solid", color="burlywood", weight=3];
40771[label="wx300/Zero",fontsize=10,color="white",style="solid",shape="box"];40 -> 40771[label="",style="solid", color="burlywood", weight=9];
40771 -> 44[label="",style="solid", color="burlywood", weight=3];
41[label="nubNub'1 (Char (Succ wx31000)) wx311 (Char (Succ wx3000) : []) ((||) primEqNat (Succ wx31000) (Succ wx3000) foldr (||) False (map (primEqChar (Char (Succ wx31000))) []))",fontsize=16,color="black",shape="box"];41 -> 45[label="",style="solid", color="black", weight=3];
42[label="nubNub'1 (Char (Succ wx31000)) wx311 (Char Zero : []) ((||) primEqNat (Succ wx31000) Zero foldr (||) False (map (primEqChar (Char (Succ wx31000))) []))",fontsize=16,color="black",shape="box"];42 -> 46[label="",style="solid", color="black", weight=3];
43[label="nubNub'1 (Char Zero) wx311 (Char (Succ wx3000) : []) ((||) primEqNat Zero (Succ wx3000) foldr (||) False (map (primEqChar (Char Zero)) []))",fontsize=16,color="black",shape="box"];43 -> 47[label="",style="solid", color="black", weight=3];
44[label="nubNub'1 (Char Zero) wx311 (Char Zero : []) ((||) primEqNat Zero Zero foldr (||) False (map (primEqChar (Char Zero)) []))",fontsize=16,color="black",shape="box"];44 -> 48[label="",style="solid", color="black", weight=3];
45 -> 40646[label="",style="dashed", color="red", weight=0];
45[label="nubNub'1 (Char (Succ wx31000)) wx311 (Char (Succ wx3000) : []) ((||) primEqNat wx31000 wx3000 foldr (||) False (map (primEqChar (Char (Succ wx31000))) []))",fontsize=16,color="magenta"];45 -> 40647[label="",style="dashed", color="magenta", weight=3];
45 -> 40648[label="",style="dashed", color="magenta", weight=3];
45 -> 40649[label="",style="dashed", color="magenta", weight=3];
45 -> 40650[label="",style="dashed", color="magenta", weight=3];
45 -> 40651[label="",style="dashed", color="magenta", weight=3];
45 -> 40652[label="",style="dashed", color="magenta", weight=3];
45 -> 40653[label="",style="dashed", color="magenta", weight=3];
46[label="nubNub'1 (Char (Succ wx31000)) wx311 (Char Zero : []) ((||) False foldr (||) False (map (primEqChar (Char (Succ wx31000))) []))",fontsize=16,color="black",shape="box"];46 -> 51[label="",style="solid", color="black", weight=3];
47[label="nubNub'1 (Char Zero) wx311 (Char (Succ wx3000) : []) ((||) False foldr (||) False (map (primEqChar (Char Zero)) []))",fontsize=16,color="black",shape="box"];47 -> 52[label="",style="solid", color="black", weight=3];
48[label="nubNub'1 (Char Zero) wx311 (Char Zero : []) ((||) True foldr (||) False (map (primEqChar (Char Zero)) []))",fontsize=16,color="black",shape="box"];48 -> 53[label="",style="solid", color="black", weight=3];
40647[label="[]",fontsize=16,color="green",shape="box"];40648[label="[]",fontsize=16,color="green",shape="box"];40649[label="wx31000",fontsize=16,color="green",shape="box"];40650[label="wx3000",fontsize=16,color="green",shape="box"];40651[label="wx311",fontsize=16,color="green",shape="box"];40652[label="wx31000",fontsize=16,color="green",shape="box"];40653[label="wx3000",fontsize=16,color="green",shape="box"];40646[label="nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) ((||) primEqNat wx3752 wx3753 foldr (||) False (map (primEqChar (Char (Succ wx3748))) wx3754))",fontsize=16,color="burlywood",shape="triangle"];40773[label="wx3752/Succ wx37520",fontsize=10,color="white",style="solid",shape="box"];40646 -> 40773[label="",style="solid", color="burlywood", weight=9];
40773 -> 40724[label="",style="solid", color="burlywood", weight=3];
40774[label="wx3752/Zero",fontsize=10,color="white",style="solid",shape="box"];40646 -> 40774[label="",style="solid", color="burlywood", weight=9];
40774 -> 40725[label="",style="solid", color="burlywood", weight=3];
51[label="nubNub'1 (Char (Succ wx31000)) wx311 (Char Zero : []) (foldr (||) False (map (primEqChar (Char (Succ wx31000))) []))",fontsize=16,color="black",shape="box"];51 -> 58[label="",style="solid", color="black", weight=3];
52[label="nubNub'1 (Char Zero) wx311 (Char (Succ wx3000) : []) (foldr (||) False (map (primEqChar (Char Zero)) []))",fontsize=16,color="black",shape="box"];52 -> 59[label="",style="solid", color="black", weight=3];
53[label="nubNub'1 (Char Zero) wx311 (Char Zero : []) True",fontsize=16,color="black",shape="box"];53 -> 60[label="",style="solid", color="black", weight=3];
40724[label="nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) ((||) primEqNat (Succ wx37520) wx3753 foldr (||) False (map (primEqChar (Char (Succ wx3748))) wx3754))",fontsize=16,color="burlywood",shape="box"];40775[label="wx3753/Succ wx37530",fontsize=10,color="white",style="solid",shape="box"];40724 -> 40775[label="",style="solid", color="burlywood", weight=9];
40775 -> 40726[label="",style="solid", color="burlywood", weight=3];
40776[label="wx3753/Zero",fontsize=10,color="white",style="solid",shape="box"];40724 -> 40776[label="",style="solid", color="burlywood", weight=9];
40776 -> 40727[label="",style="solid", color="burlywood", weight=3];
40725[label="nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) ((||) primEqNat Zero wx3753 foldr (||) False (map (primEqChar (Char (Succ wx3748))) wx3754))",fontsize=16,color="burlywood",shape="box"];40777[label="wx3753/Succ wx37530",fontsize=10,color="white",style="solid",shape="box"];40725 -> 40777[label="",style="solid", color="burlywood", weight=9];
40777 -> 40728[label="",style="solid", color="burlywood", weight=3];
40778[label="wx3753/Zero",fontsize=10,color="white",style="solid",shape="box"];40725 -> 40778[label="",style="solid", color="burlywood", weight=9];
40778 -> 40729[label="",style="solid", color="burlywood", weight=3];
58[label="nubNub'1 (Char (Succ wx31000)) wx311 (Char Zero : []) (foldr (||) False [])",fontsize=16,color="black",shape="triangle"];58 -> 65[label="",style="solid", color="black", weight=3];
59[label="nubNub'1 (Char Zero) wx311 (Char (Succ wx3000) : []) (foldr (||) False [])",fontsize=16,color="black",shape="triangle"];59 -> 66[label="",style="solid", color="black", weight=3];
60 -> 21[label="",style="dashed", color="red", weight=0];
60[label="nubNub' wx311 (Char Zero : [])",fontsize=16,color="magenta"];60 -> 67[label="",style="dashed", color="magenta", weight=3];
60 -> 68[label="",style="dashed", color="magenta", weight=3];
40726[label="nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) ((||) primEqNat (Succ wx37520) (Succ wx37530) foldr (||) False (map (primEqChar (Char (Succ wx3748))) wx3754))",fontsize=16,color="black",shape="box"];40726 -> 40730[label="",style="solid", color="black", weight=3];
40727[label="nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) ((||) primEqNat (Succ wx37520) Zero foldr (||) False (map (primEqChar (Char (Succ wx3748))) wx3754))",fontsize=16,color="black",shape="box"];40727 -> 40731[label="",style="solid", color="black", weight=3];
40728[label="nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) ((||) primEqNat Zero (Succ wx37530) foldr (||) False (map (primEqChar (Char (Succ wx3748))) wx3754))",fontsize=16,color="black",shape="box"];40728 -> 40732[label="",style="solid", color="black", weight=3];
40729[label="nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) ((||) primEqNat Zero Zero foldr (||) False (map (primEqChar (Char (Succ wx3748))) wx3754))",fontsize=16,color="black",shape="box"];40729 -> 40733[label="",style="solid", color="black", weight=3];
65[label="nubNub'1 (Char (Succ wx31000)) wx311 (Char Zero : []) False",fontsize=16,color="black",shape="box"];65 -> 74[label="",style="solid", color="black", weight=3];
66[label="nubNub'1 (Char Zero) wx311 (Char (Succ wx3000) : []) False",fontsize=16,color="black",shape="box"];66 -> 75[label="",style="solid", color="black", weight=3];
67[label="Char Zero",fontsize=16,color="green",shape="box"];68[label="wx311",fontsize=16,color="green",shape="box"];40730 -> 40646[label="",style="dashed", color="red", weight=0];
40730[label="nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) ((||) primEqNat wx37520 wx37530 foldr (||) False (map (primEqChar (Char (Succ wx3748))) wx3754))",fontsize=16,color="magenta"];40730 -> 40734[label="",style="dashed", color="magenta", weight=3];
40730 -> 40735[label="",style="dashed", color="magenta", weight=3];
40731[label="nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) ((||) False foldr (||) False (map (primEqChar (Char (Succ wx3748))) wx3754))",fontsize=16,color="black",shape="triangle"];40731 -> 40736[label="",style="solid", color="black", weight=3];
40732 -> 40731[label="",style="dashed", color="red", weight=0];
40732[label="nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) ((||) False foldr (||) False (map (primEqChar (Char (Succ wx3748))) wx3754))",fontsize=16,color="magenta"];40733[label="nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) ((||) True foldr (||) False (map (primEqChar (Char (Succ wx3748))) wx3754))",fontsize=16,color="black",shape="box"];40733 -> 40737[label="",style="solid", color="black", weight=3];
74[label="nubNub'0 (Char (Succ wx31000)) wx311 (Char Zero : []) otherwise",fontsize=16,color="black",shape="box"];74 -> 83[label="",style="solid", color="black", weight=3];
75[label="nubNub'0 (Char Zero) wx311 (Char (Succ wx3000) : []) otherwise",fontsize=16,color="black",shape="box"];75 -> 84[label="",style="solid", color="black", weight=3];
40734[label="wx37520",fontsize=16,color="green",shape="box"];40735[label="wx37530",fontsize=16,color="green",shape="box"];40736[label="nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) (foldr (||) False (map (primEqChar (Char (Succ wx3748))) wx3754))",fontsize=16,color="burlywood",shape="box"];40782[label="wx3754/wx37540 : wx37541",fontsize=10,color="white",style="solid",shape="box"];40736 -> 40782[label="",style="solid", color="burlywood", weight=9];
40782 -> 40738[label="",style="solid", color="burlywood", weight=3];
40783[label="wx3754/[]",fontsize=10,color="white",style="solid",shape="box"];40736 -> 40783[label="",style="solid", color="burlywood", weight=9];
40783 -> 40739[label="",style="solid", color="burlywood", weight=3];
40737[label="nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) True",fontsize=16,color="black",shape="box"];40737 -> 40740[label="",style="solid", color="black", weight=3];
83[label="nubNub'0 (Char (Succ wx31000)) wx311 (Char Zero : []) True",fontsize=16,color="black",shape="box"];83 -> 93[label="",style="solid", color="black", weight=3];
84[label="nubNub'0 (Char Zero) wx311 (Char (Succ wx3000) : []) True",fontsize=16,color="black",shape="box"];84 -> 94[label="",style="solid", color="black", weight=3];
40738[label="nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) (foldr (||) False (map (primEqChar (Char (Succ wx3748))) (wx37540 : wx37541)))",fontsize=16,color="black",shape="box"];40738 -> 40741[label="",style="solid", color="black", weight=3];
40739[label="nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) (foldr (||) False (map (primEqChar (Char (Succ wx3748))) []))",fontsize=16,color="black",shape="box"];40739 -> 40742[label="",style="solid", color="black", weight=3];
40740 -> 38340[label="",style="dashed", color="red", weight=0];
40740[label="nubNub' wx3749 (Char (Succ wx3750) : wx3751)",fontsize=16,color="magenta"];40740 -> 40743[label="",style="dashed", color="magenta", weight=3];
40740 -> 40744[label="",style="dashed", color="magenta", weight=3];
40740 -> 40745[label="",style="dashed", color="magenta", weight=3];
93[label="Char (Succ wx31000) : nubNub' wx311 (Char (Succ wx31000) : Char Zero : [])",fontsize=16,color="green",shape="box"];93 -> 102[label="",style="dashed", color="green", weight=3];
94[label="Char Zero : nubNub' wx311 (Char Zero : Char (Succ wx3000) : [])",fontsize=16,color="green",shape="box"];94 -> 103[label="",style="dashed", color="green", weight=3];
40741[label="nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) (foldr (||) False (primEqChar (Char (Succ wx3748)) wx37540 : map (primEqChar (Char (Succ wx3748))) wx37541))",fontsize=16,color="black",shape="box"];40741 -> 40746[label="",style="solid", color="black", weight=3];
40742[label="nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) (foldr (||) False [])",fontsize=16,color="black",shape="box"];40742 -> 40747[label="",style="solid", color="black", weight=3];
40743[label="wx3750",fontsize=16,color="green",shape="box"];40744[label="wx3749",fontsize=16,color="green",shape="box"];40745[label="wx3751",fontsize=16,color="green",shape="box"];38340[label="nubNub' wx3609 (Char (Succ wx3610) : wx3611)",fontsize=16,color="burlywood",shape="triangle"];40785[label="wx3609/wx36090 : wx36091",fontsize=10,color="white",style="solid",shape="box"];38340 -> 40785[label="",style="solid", color="burlywood", weight=9];
40785 -> 38346[label="",style="solid", color="burlywood", weight=3];
40786[label="wx3609/[]",fontsize=10,color="white",style="solid",shape="box"];38340 -> 40786[label="",style="solid", color="burlywood", weight=9];
40786 -> 38347[label="",style="solid", color="burlywood", weight=3];
102[label="nubNub' wx311 (Char (Succ wx31000) : Char Zero : [])",fontsize=16,color="burlywood",shape="triangle"];40787[label="wx311/wx3110 : wx3111",fontsize=10,color="white",style="solid",shape="box"];102 -> 40787[label="",style="solid", color="burlywood", weight=9];
40787 -> 113[label="",style="solid", color="burlywood", weight=3];
40788[label="wx311/[]",fontsize=10,color="white",style="solid",shape="box"];102 -> 40788[label="",style="solid", color="burlywood", weight=9];
40788 -> 114[label="",style="solid", color="burlywood", weight=3];
103[label="nubNub' wx311 (Char Zero : Char (Succ wx3000) : [])",fontsize=16,color="burlywood",shape="triangle"];40789[label="wx311/wx3110 : wx3111",fontsize=10,color="white",style="solid",shape="box"];103 -> 40789[label="",style="solid", color="burlywood", weight=9];
40789 -> 115[label="",style="solid", color="burlywood", weight=3];
40790[label="wx311/[]",fontsize=10,color="white",style="solid",shape="box"];103 -> 40790[label="",style="solid", color="burlywood", weight=9];
40790 -> 116[label="",style="solid", color="burlywood", weight=3];
40746[label="nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) ((||) primEqChar (Char (Succ wx3748)) wx37540 foldr (||) False (map (primEqChar (Char (Succ wx3748))) wx37541))",fontsize=16,color="burlywood",shape="box"];40791[label="wx37540/Char wx375400",fontsize=10,color="white",style="solid",shape="box"];40746 -> 40791[label="",style="solid", color="burlywood", weight=9];
40791 -> 40748[label="",style="solid", color="burlywood", weight=3];
40747[label="nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) False",fontsize=16,color="black",shape="box"];40747 -> 40749[label="",style="solid", color="black", weight=3];
38346[label="nubNub' (wx36090 : wx36091) (Char (Succ wx3610) : wx3611)",fontsize=16,color="black",shape="box"];38346 -> 38354[label="",style="solid", color="black", weight=3];
38347[label="nubNub' [] (Char (Succ wx3610) : wx3611)",fontsize=16,color="black",shape="box"];38347 -> 38355[label="",style="solid", color="black", weight=3];
113[label="nubNub' (wx3110 : wx3111) (Char (Succ wx31000) : Char Zero : [])",fontsize=16,color="black",shape="box"];113 -> 127[label="",style="solid", color="black", weight=3];
114[label="nubNub' [] (Char (Succ wx31000) : Char Zero : [])",fontsize=16,color="black",shape="box"];114 -> 128[label="",style="solid", color="black", weight=3];
115[label="nubNub' (wx3110 : wx3111) (Char Zero : Char (Succ wx3000) : [])",fontsize=16,color="black",shape="box"];115 -> 129[label="",style="solid", color="black", weight=3];
116[label="nubNub' [] (Char Zero : Char (Succ wx3000) : [])",fontsize=16,color="black",shape="box"];116 -> 130[label="",style="solid", color="black", weight=3];
40748[label="nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) ((||) primEqChar (Char (Succ wx3748)) (Char wx375400) foldr (||) False (map (primEqChar (Char (Succ wx3748))) wx37541))",fontsize=16,color="black",shape="box"];40748 -> 40750[label="",style="solid", color="black", weight=3];
40749[label="nubNub'0 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) otherwise",fontsize=16,color="black",shape="box"];40749 -> 40751[label="",style="solid", color="black", weight=3];
38354[label="nubNub'2 (wx36090 : wx36091) (Char (Succ wx3610) : wx3611)",fontsize=16,color="black",shape="box"];38354 -> 38364[label="",style="solid", color="black", weight=3];
38355[label="nubNub'3 [] (Char (Succ wx3610) : wx3611)",fontsize=16,color="black",shape="box"];38355 -> 38365[label="",style="solid", color="black", weight=3];
127[label="nubNub'2 (wx3110 : wx3111) (Char (Succ wx31000) : Char Zero : [])",fontsize=16,color="black",shape="box"];127 -> 140[label="",style="solid", color="black", weight=3];
128[label="nubNub'3 [] (Char (Succ wx31000) : Char Zero : [])",fontsize=16,color="black",shape="box"];128 -> 141[label="",style="solid", color="black", weight=3];
129[label="nubNub'2 (wx3110 : wx3111) (Char Zero : Char (Succ wx3000) : [])",fontsize=16,color="black",shape="box"];129 -> 142[label="",style="solid", color="black", weight=3];
130[label="nubNub'3 [] (Char Zero : Char (Succ wx3000) : [])",fontsize=16,color="black",shape="box"];130 -> 143[label="",style="solid", color="black", weight=3];
40750 -> 40646[label="",style="dashed", color="red", weight=0];
40750[label="nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) ((||) primEqNat (Succ wx3748) wx375400 foldr (||) False (map (primEqChar (Char (Succ wx3748))) wx37541))",fontsize=16,color="magenta"];40750 -> 40752[label="",style="dashed", color="magenta", weight=3];
40750 -> 40753[label="",style="dashed", color="magenta", weight=3];
40750 -> 40754[label="",style="dashed", color="magenta", weight=3];
40751[label="nubNub'0 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) True",fontsize=16,color="black",shape="box"];40751 -> 40755[label="",style="solid", color="black", weight=3];
38364[label="nubNub'1 wx36090 wx36091 (Char (Succ wx3610) : wx3611) (wx36090 `elem` Char (Succ wx3610) : wx3611)",fontsize=16,color="black",shape="box"];38364 -> 38372[label="",style="solid", color="black", weight=3];
38365[label="[]",fontsize=16,color="green",shape="box"];140[label="nubNub'1 wx3110 wx3111 (Char (Succ wx31000) : Char Zero : []) (wx3110 `elem` Char (Succ wx31000) : Char Zero : [])",fontsize=16,color="black",shape="box"];140 -> 157[label="",style="solid", color="black", weight=3];
141[label="[]",fontsize=16,color="green",shape="box"];142 -> 32170[label="",style="dashed", color="red", weight=0];
142[label="nubNub'1 wx3110 wx3111 (Char Zero : Char (Succ wx3000) : []) (wx3110 `elem` Char Zero : Char (Succ wx3000) : [])",fontsize=16,color="magenta"];142 -> 32171[label="",style="dashed", color="magenta", weight=3];
142 -> 32172[label="",style="dashed", color="magenta", weight=3];
142 -> 32173[label="",style="dashed", color="magenta", weight=3];
143[label="[]",fontsize=16,color="green",shape="box"];40752[label="wx37541",fontsize=16,color="green",shape="box"];40753[label="Succ wx3748",fontsize=16,color="green",shape="box"];40754[label="wx375400",fontsize=16,color="green",shape="box"];40755[label="Char (Succ wx3748) : nubNub' wx3749 (Char (Succ wx3748) : Char (Succ wx3750) : wx3751)",fontsize=16,color="green",shape="box"];40755 -> 40756[label="",style="dashed", color="green", weight=3];
38372[label="nubNub'1 wx36090 wx36091 (Char (Succ wx3610) : wx3611) (any . (==))",fontsize=16,color="black",shape="box"];38372 -> 38379[label="",style="solid", color="black", weight=3];
157[label="nubNub'1 wx3110 wx3111 (Char (Succ wx31000) : Char Zero : []) (any . (==))",fontsize=16,color="black",shape="box"];157 -> 173[label="",style="solid", color="black", weight=3];
32171[label="wx3110",fontsize=16,color="green",shape="box"];32172[label="Char (Succ wx3000) : []",fontsize=16,color="green",shape="box"];32173[label="wx3111",fontsize=16,color="green",shape="box"];32170[label="nubNub'1 wx3208 wx3209 (Char Zero : wx3210) (wx3208 `elem` Char Zero : wx3210)",fontsize=16,color="black",shape="triangle"];32170 -> 32186[label="",style="solid", color="black", weight=3];
40756 -> 38340[label="",style="dashed", color="red", weight=0];
40756[label="nubNub' wx3749 (Char (Succ wx3748) : Char (Succ wx3750) : wx3751)",fontsize=16,color="magenta"];40756 -> 40757[label="",style="dashed", color="magenta", weight=3];
40756 -> 40758[label="",style="dashed", color="magenta", weight=3];
40756 -> 40759[label="",style="dashed", color="magenta", weight=3];
38379 -> 37046[label="",style="dashed", color="red", weight=0];
38379[label="nubNub'1 wx36090 wx36091 (Char (Succ wx3610) : wx3611) (any ((==) wx36090) (Char (Succ wx3610) : wx3611))",fontsize=16,color="magenta"];38379 -> 38388[label="",style="dashed", color="magenta", weight=3];
38379 -> 38389[label="",style="dashed", color="magenta", weight=3];
38379 -> 38390[label="",style="dashed", color="magenta", weight=3];
38379 -> 38391[label="",style="dashed", color="magenta", weight=3];
173 -> 37046[label="",style="dashed", color="red", weight=0];
173[label="nubNub'1 wx3110 wx3111 (Char (Succ wx31000) : Char Zero : []) (any ((==) wx3110) (Char (Succ wx31000) : Char Zero : []))",fontsize=16,color="magenta"];173 -> 37047[label="",style="dashed", color="magenta", weight=3];
173 -> 37048[label="",style="dashed", color="magenta", weight=3];
173 -> 37049[label="",style="dashed", color="magenta", weight=3];
173 -> 37050[label="",style="dashed", color="magenta", weight=3];
32186[label="nubNub'1 wx3208 wx3209 (Char Zero : wx3210) (any . (==))",fontsize=16,color="black",shape="box"];32186 -> 32222[label="",style="solid", color="black", weight=3];
40757[label="wx3748",fontsize=16,color="green",shape="box"];40758[label="wx3749",fontsize=16,color="green",shape="box"];40759[label="Char (Succ wx3750) : wx3751",fontsize=16,color="green",shape="box"];38388[label="wx3611",fontsize=16,color="green",shape="box"];38389[label="wx3610",fontsize=16,color="green",shape="box"];38390[label="wx36090",fontsize=16,color="green",shape="box"];38391[label="wx36091",fontsize=16,color="green",shape="box"];37046[label="nubNub'1 wx3547 wx3548 (Char (Succ wx3549) : wx3550) (any ((==) wx3547) (Char (Succ wx3549) : wx3550))",fontsize=16,color="black",shape="triangle"];37046 -> 37071[label="",style="solid", color="black", weight=3];
37047[label="Char Zero : []",fontsize=16,color="green",shape="box"];37048[label="wx31000",fontsize=16,color="green",shape="box"];37049[label="wx3110",fontsize=16,color="green",shape="box"];37050[label="wx3111",fontsize=16,color="green",shape="box"];32222[label="nubNub'1 wx3208 wx3209 (Char Zero : wx3210) (any ((==) wx3208) (Char Zero : wx3210))",fontsize=16,color="black",shape="box"];32222 -> 32300[label="",style="solid", color="black", weight=3];
37071[label="nubNub'1 wx3547 wx3548 (Char (Succ wx3549) : wx3550) (or . map ((==) wx3547))",fontsize=16,color="black",shape="box"];37071 -> 37072[label="",style="solid", color="black", weight=3];
32300[label="nubNub'1 wx3208 wx3209 (Char Zero : wx3210) (or . map ((==) wx3208))",fontsize=16,color="black",shape="box"];32300 -> 32390[label="",style="solid", color="black", weight=3];
37072[label="nubNub'1 wx3547 wx3548 (Char (Succ wx3549) : wx3550) (or (map ((==) wx3547) (Char (Succ wx3549) : wx3550)))",fontsize=16,color="black",shape="box"];37072 -> 37073[label="",style="solid", color="black", weight=3];
32390[label="nubNub'1 wx3208 wx3209 (Char Zero : wx3210) (or (map ((==) wx3208) (Char Zero : wx3210)))",fontsize=16,color="black",shape="box"];32390 -> 32469[label="",style="solid", color="black", weight=3];
37073[label="nubNub'1 wx3547 wx3548 (Char (Succ wx3549) : wx3550) (foldr (||) False (map ((==) wx3547) (Char (Succ wx3549) : wx3550)))",fontsize=16,color="black",shape="box"];37073 -> 37074[label="",style="solid", color="black", weight=3];
32469[label="nubNub'1 wx3208 wx3209 (Char Zero : wx3210) (foldr (||) False (map ((==) wx3208) (Char Zero : wx3210)))",fontsize=16,color="black",shape="box"];32469 -> 32487[label="",style="solid", color="black", weight=3];
37074[label="nubNub'1 wx3547 wx3548 (Char (Succ wx3549) : wx3550) (foldr (||) False (((==) wx3547 Char (Succ wx3549)) : map ((==) wx3547) wx3550))",fontsize=16,color="black",shape="box"];37074 -> 37075[label="",style="solid", color="black", weight=3];
32487[label="nubNub'1 wx3208 wx3209 (Char Zero : wx3210) (foldr (||) False (((==) wx3208 Char Zero) : map ((==) wx3208) wx3210))",fontsize=16,color="black",shape="box"];32487 -> 32594[label="",style="solid", color="black", weight=3];
37075[label="nubNub'1 wx3547 wx3548 (Char (Succ wx3549) : wx3550) ((||) (==) wx3547 Char (Succ wx3549) foldr (||) False (map ((==) wx3547) wx3550))",fontsize=16,color="black",shape="box"];37075 -> 37076[label="",style="solid", color="black", weight=3];
32594[label="nubNub'1 wx3208 wx3209 (Char Zero : wx3210) ((||) (==) wx3208 Char Zero foldr (||) False (map ((==) wx3208) wx3210))",fontsize=16,color="black",shape="box"];32594 -> 32616[label="",style="solid", color="black", weight=3];
37076[label="nubNub'1 wx3547 wx3548 (Char (Succ wx3549) : wx3550) ((||) primEqChar wx3547 (Char (Succ wx3549)) foldr (||) False (map (primEqChar wx3547) wx3550))",fontsize=16,color="burlywood",shape="box"];40797[label="wx3547/Char wx35470",fontsize=10,color="white",style="solid",shape="box"];37076 -> 40797[label="",style="solid", color="burlywood", weight=9];
40797 -> 37077[label="",style="solid", color="burlywood", weight=3];
32616[label="nubNub'1 wx3208 wx3209 (Char Zero : wx3210) ((||) primEqChar wx3208 (Char Zero) foldr (||) False (map (primEqChar wx3208) wx3210))",fontsize=16,color="burlywood",shape="box"];40798[label="wx3208/Char wx32080",fontsize=10,color="white",style="solid",shape="box"];32616 -> 40798[label="",style="solid", color="burlywood", weight=9];
40798 -> 32731[label="",style="solid", color="burlywood", weight=3];
37077[label="nubNub'1 (Char wx35470) wx3548 (Char (Succ wx3549) : wx3550) ((||) primEqChar (Char wx35470) (Char (Succ wx3549)) foldr (||) False (map (primEqChar (Char wx35470)) wx3550))",fontsize=16,color="black",shape="box"];37077 -> 37078[label="",style="solid", color="black", weight=3];
32731[label="nubNub'1 (Char wx32080) wx3209 (Char Zero : wx3210) ((||) primEqChar (Char wx32080) (Char Zero) foldr (||) False (map (primEqChar (Char wx32080)) wx3210))",fontsize=16,color="black",shape="box"];32731 -> 32738[label="",style="solid", color="black", weight=3];
37078[label="nubNub'1 (Char wx35470) wx3548 (Char (Succ wx3549) : wx3550) ((||) primEqNat wx35470 (Succ wx3549) foldr (||) False (map (primEqChar (Char wx35470)) wx3550))",fontsize=16,color="burlywood",shape="box"];40799[label="wx35470/Succ wx354700",fontsize=10,color="white",style="solid",shape="box"];37078 -> 40799[label="",style="solid", color="burlywood", weight=9];
40799 -> 37079[label="",style="solid", color="burlywood", weight=3];
40800[label="wx35470/Zero",fontsize=10,color="white",style="solid",shape="box"];37078 -> 40800[label="",style="solid", color="burlywood", weight=9];
40800 -> 37080[label="",style="solid", color="burlywood", weight=3];
32738[label="nubNub'1 (Char wx32080) wx3209 (Char Zero : wx3210) ((||) primEqNat wx32080 Zero foldr (||) False (map (primEqChar (Char wx32080)) wx3210))",fontsize=16,color="burlywood",shape="box"];40801[label="wx32080/Succ wx320800",fontsize=10,color="white",style="solid",shape="box"];32738 -> 40801[label="",style="solid", color="burlywood", weight=9];
40801 -> 32747[label="",style="solid", color="burlywood", weight=3];
40802[label="wx32080/Zero",fontsize=10,color="white",style="solid",shape="box"];32738 -> 40802[label="",style="solid", color="burlywood", weight=9];
40802 -> 32748[label="",style="solid", color="burlywood", weight=3];
37079[label="nubNub'1 (Char (Succ wx354700)) wx3548 (Char (Succ wx3549) : wx3550) ((||) primEqNat (Succ wx354700) (Succ wx3549) foldr (||) False (map (primEqChar (Char (Succ wx354700))) wx3550))",fontsize=16,color="black",shape="box"];37079 -> 37081[label="",style="solid", color="black", weight=3];
37080[label="nubNub'1 (Char Zero) wx3548 (Char (Succ wx3549) : wx3550) ((||) primEqNat Zero (Succ wx3549) foldr (||) False (map (primEqChar (Char Zero)) wx3550))",fontsize=16,color="black",shape="box"];37080 -> 37082[label="",style="solid", color="black", weight=3];
32747[label="nubNub'1 (Char (Succ wx320800)) wx3209 (Char Zero : wx3210) ((||) primEqNat (Succ wx320800) Zero foldr (||) False (map (primEqChar (Char (Succ wx320800))) wx3210))",fontsize=16,color="black",shape="box"];32747 -> 32760[label="",style="solid", color="black", weight=3];
32748[label="nubNub'1 (Char Zero) wx3209 (Char Zero : wx3210) ((||) primEqNat Zero Zero foldr (||) False (map (primEqChar (Char Zero)) wx3210))",fontsize=16,color="black",shape="box"];32748 -> 32761[label="",style="solid", color="black", weight=3];
37081 -> 40646[label="",style="dashed", color="red", weight=0];
37081[label="nubNub'1 (Char (Succ wx354700)) wx3548 (Char (Succ wx3549) : wx3550) ((||) primEqNat wx354700 wx3549 foldr (||) False (map (primEqChar (Char (Succ wx354700))) wx3550))",fontsize=16,color="magenta"];37081 -> 40703[label="",style="dashed", color="magenta", weight=3];
37081 -> 40704[label="",style="dashed", color="magenta", weight=3];
37081 -> 40705[label="",style="dashed", color="magenta", weight=3];
37081 -> 40706[label="",style="dashed", color="magenta", weight=3];
37081 -> 40707[label="",style="dashed", color="magenta", weight=3];
37081 -> 40708[label="",style="dashed", color="magenta", weight=3];
37081 -> 40709[label="",style="dashed", color="magenta", weight=3];
37082[label="nubNub'1 (Char Zero) wx3548 (Char (Succ wx3549) : wx3550) ((||) False foldr (||) False (map (primEqChar (Char Zero)) wx3550))",fontsize=16,color="black",shape="box"];37082 -> 37085[label="",style="solid", color="black", weight=3];
32760[label="nubNub'1 (Char (Succ wx320800)) wx3209 (Char Zero : wx3210) ((||) False foldr (||) False (map (primEqChar (Char (Succ wx320800))) wx3210))",fontsize=16,color="black",shape="box"];32760 -> 32767[label="",style="solid", color="black", weight=3];
32761[label="nubNub'1 (Char Zero) wx3209 (Char Zero : wx3210) ((||) True foldr (||) False (map (primEqChar (Char Zero)) wx3210))",fontsize=16,color="black",shape="box"];32761 -> 32768[label="",style="solid", color="black", weight=3];
40703[label="wx3550",fontsize=16,color="green",shape="box"];40704[label="wx3550",fontsize=16,color="green",shape="box"];40705[label="wx354700",fontsize=16,color="green",shape="box"];40706[label="wx3549",fontsize=16,color="green",shape="box"];40707[label="wx3548",fontsize=16,color="green",shape="box"];40708[label="wx354700",fontsize=16,color="green",shape="box"];40709[label="wx3549",fontsize=16,color="green",shape="box"];37085[label="nubNub'1 (Char Zero) wx3548 (Char (Succ wx3549) : wx3550) (foldr (||) False (map (primEqChar (Char Zero)) wx3550))",fontsize=16,color="burlywood",shape="box"];40804[label="wx3550/wx35500 : wx35501",fontsize=10,color="white",style="solid",shape="box"];37085 -> 40804[label="",style="solid", color="burlywood", weight=9];
40804 -> 37090[label="",style="solid", color="burlywood", weight=3];
40805[label="wx3550/[]",fontsize=10,color="white",style="solid",shape="box"];37085 -> 40805[label="",style="solid", color="burlywood", weight=9];
40805 -> 37091[label="",style="solid", color="burlywood", weight=3];
32767[label="nubNub'1 (Char (Succ wx320800)) wx3209 (Char Zero : wx3210) (foldr (||) False (map (primEqChar (Char (Succ wx320800))) wx3210))",fontsize=16,color="burlywood",shape="box"];40806[label="wx3210/wx32100 : wx32101",fontsize=10,color="white",style="solid",shape="box"];32767 -> 40806[label="",style="solid", color="burlywood", weight=9];
40806 -> 32778[label="",style="solid", color="burlywood", weight=3];
40807[label="wx3210/[]",fontsize=10,color="white",style="solid",shape="box"];32767 -> 40807[label="",style="solid", color="burlywood", weight=9];
40807 -> 32779[label="",style="solid", color="burlywood", weight=3];
32768[label="nubNub'1 (Char Zero) wx3209 (Char Zero : wx3210) True",fontsize=16,color="black",shape="box"];32768 -> 32780[label="",style="solid", color="black", weight=3];
37090[label="nubNub'1 (Char Zero) wx3548 (Char (Succ wx3549) : wx35500 : wx35501) (foldr (||) False (map (primEqChar (Char Zero)) (wx35500 : wx35501)))",fontsize=16,color="black",shape="box"];37090 -> 37096[label="",style="solid", color="black", weight=3];
37091[label="nubNub'1 (Char Zero) wx3548 (Char (Succ wx3549) : []) (foldr (||) False (map (primEqChar (Char Zero)) []))",fontsize=16,color="black",shape="box"];37091 -> 37097[label="",style="solid", color="black", weight=3];
32778[label="nubNub'1 (Char (Succ wx320800)) wx3209 (Char Zero : wx32100 : wx32101) (foldr (||) False (map (primEqChar (Char (Succ wx320800))) (wx32100 : wx32101)))",fontsize=16,color="black",shape="box"];32778 -> 32783[label="",style="solid", color="black", weight=3];
32779[label="nubNub'1 (Char (Succ wx320800)) wx3209 (Char Zero : []) (foldr (||) False (map (primEqChar (Char (Succ wx320800))) []))",fontsize=16,color="black",shape="box"];32779 -> 32784[label="",style="solid", color="black", weight=3];
32780[label="nubNub' wx3209 (Char Zero : wx3210)",fontsize=16,color="burlywood",shape="triangle"];40808[label="wx3209/wx32090 : wx32091",fontsize=10,color="white",style="solid",shape="box"];32780 -> 40808[label="",style="solid", color="burlywood", weight=9];
40808 -> 32785[label="",style="solid", color="burlywood", weight=3];
40809[label="wx3209/[]",fontsize=10,color="white",style="solid",shape="box"];32780 -> 40809[label="",style="solid", color="burlywood", weight=9];
40809 -> 32786[label="",style="solid", color="burlywood", weight=3];
37096 -> 38392[label="",style="dashed", color="red", weight=0];
37096[label="nubNub'1 (Char Zero) wx3548 (Char (Succ wx3549) : wx35500 : wx35501) (foldr (||) False (primEqChar (Char Zero) wx35500 : map (primEqChar (Char Zero)) wx35501))",fontsize=16,color="magenta"];37096 -> 38393[label="",style="dashed", color="magenta", weight=3];
37096 -> 38394[label="",style="dashed", color="magenta", weight=3];
37096 -> 38395[label="",style="dashed", color="magenta", weight=3];
37096 -> 38396[label="",style="dashed", color="magenta", weight=3];
37096 -> 38397[label="",style="dashed", color="magenta", weight=3];
37097 -> 59[label="",style="dashed", color="red", weight=0];
37097[label="nubNub'1 (Char Zero) wx3548 (Char (Succ wx3549) : []) (foldr (||) False [])",fontsize=16,color="magenta"];37097 -> 37104[label="",style="dashed", color="magenta", weight=3];
37097 -> 37105[label="",style="dashed", color="magenta", weight=3];
32783 -> 35482[label="",style="dashed", color="red", weight=0];
32783[label="nubNub'1 (Char (Succ wx320800)) wx3209 (Char Zero : wx32100 : wx32101) (foldr (||) False (primEqChar (Char (Succ wx320800)) wx32100 : map (primEqChar (Char (Succ wx320800))) wx32101))",fontsize=16,color="magenta"];32783 -> 35483[label="",style="dashed", color="magenta", weight=3];
32783 -> 35484[label="",style="dashed", color="magenta", weight=3];
32783 -> 35485[label="",style="dashed", color="magenta", weight=3];
32783 -> 35486[label="",style="dashed", color="magenta", weight=3];
32783 -> 35487[label="",style="dashed", color="magenta", weight=3];
32784 -> 58[label="",style="dashed", color="red", weight=0];
32784[label="nubNub'1 (Char (Succ wx320800)) wx3209 (Char Zero : []) (foldr (||) False [])",fontsize=16,color="magenta"];32784 -> 32791[label="",style="dashed", color="magenta", weight=3];
32784 -> 32792[label="",style="dashed", color="magenta", weight=3];
32785[label="nubNub' (wx32090 : wx32091) (Char Zero : wx3210)",fontsize=16,color="black",shape="box"];32785 -> 32793[label="",style="solid", color="black", weight=3];
32786[label="nubNub' [] (Char Zero : wx3210)",fontsize=16,color="black",shape="box"];32786 -> 32794[label="",style="solid", color="black", weight=3];
38393[label="wx35501",fontsize=16,color="green",shape="box"];38394[label="wx35500 : wx35501",fontsize=16,color="green",shape="box"];38395[label="wx3549",fontsize=16,color="green",shape="box"];38396[label="wx35500",fontsize=16,color="green",shape="box"];38397[label="wx3548",fontsize=16,color="green",shape="box"];38392[label="nubNub'1 (Char Zero) wx3615 (Char (Succ wx3616) : wx3617) (foldr (||) False (primEqChar (Char Zero) wx3618 : map (primEqChar (Char Zero)) wx3619))",fontsize=16,color="black",shape="triangle"];38392 -> 38423[label="",style="solid", color="black", weight=3];
37104[label="wx3548",fontsize=16,color="green",shape="box"];37105[label="wx3549",fontsize=16,color="green",shape="box"];35483[label="wx32101",fontsize=16,color="green",shape="box"];35484[label="wx32100 : wx32101",fontsize=16,color="green",shape="box"];35485[label="wx320800",fontsize=16,color="green",shape="box"];35486[label="wx3209",fontsize=16,color="green",shape="box"];35487[label="wx32100",fontsize=16,color="green",shape="box"];35482[label="nubNub'1 (Char (Succ wx3442)) wx3443 (Char Zero : wx3444) (foldr (||) False (primEqChar (Char (Succ wx3442)) wx3445 : map (primEqChar (Char (Succ wx3442))) wx3446))",fontsize=16,color="black",shape="triangle"];35482 -> 35653[label="",style="solid", color="black", weight=3];
32791[label="wx320800",fontsize=16,color="green",shape="box"];32792[label="wx3209",fontsize=16,color="green",shape="box"];32793[label="nubNub'2 (wx32090 : wx32091) (Char Zero : wx3210)",fontsize=16,color="black",shape="box"];32793 -> 32801[label="",style="solid", color="black", weight=3];
32794[label="nubNub'3 [] (Char Zero : wx3210)",fontsize=16,color="black",shape="box"];32794 -> 32802[label="",style="solid", color="black", weight=3];
38423[label="nubNub'1 (Char Zero) wx3615 (Char (Succ wx3616) : wx3617) ((||) primEqChar (Char Zero) wx3618 foldr (||) False (map (primEqChar (Char Zero)) wx3619))",fontsize=16,color="burlywood",shape="box"];40814[label="wx3618/Char wx36180",fontsize=10,color="white",style="solid",shape="box"];38423 -> 40814[label="",style="solid", color="burlywood", weight=9];
40814 -> 38430[label="",style="solid", color="burlywood", weight=3];
35653[label="nubNub'1 (Char (Succ wx3442)) wx3443 (Char Zero : wx3444) ((||) primEqChar (Char (Succ wx3442)) wx3445 foldr (||) False (map (primEqChar (Char (Succ wx3442))) wx3446))",fontsize=16,color="burlywood",shape="box"];40815[label="wx3445/Char wx34450",fontsize=10,color="white",style="solid",shape="box"];35653 -> 40815[label="",style="solid", color="burlywood", weight=9];
40815 -> 35698[label="",style="solid", color="burlywood", weight=3];
32801 -> 32170[label="",style="dashed", color="red", weight=0];
32801[label="nubNub'1 wx32090 wx32091 (Char Zero : wx3210) (wx32090 `elem` Char Zero : wx3210)",fontsize=16,color="magenta"];32801 -> 32810[label="",style="dashed", color="magenta", weight=3];
32801 -> 32811[label="",style="dashed", color="magenta", weight=3];
32802[label="[]",fontsize=16,color="green",shape="box"];38430[label="nubNub'1 (Char Zero) wx3615 (Char (Succ wx3616) : wx3617) ((||) primEqChar (Char Zero) (Char wx36180) foldr (||) False (map (primEqChar (Char Zero)) wx3619))",fontsize=16,color="black",shape="box"];38430 -> 38437[label="",style="solid", color="black", weight=3];
35698[label="nubNub'1 (Char (Succ wx3442)) wx3443 (Char Zero : wx3444) ((||) primEqChar (Char (Succ wx3442)) (Char wx34450) foldr (||) False (map (primEqChar (Char (Succ wx3442))) wx3446))",fontsize=16,color="black",shape="box"];35698 -> 35745[label="",style="solid", color="black", weight=3];
32810[label="wx32090",fontsize=16,color="green",shape="box"];32811[label="wx32091",fontsize=16,color="green",shape="box"];38437[label="nubNub'1 (Char Zero) wx3615 (Char (Succ wx3616) : wx3617) ((||) primEqNat Zero wx36180 foldr (||) False (map (primEqChar (Char Zero)) wx3619))",fontsize=16,color="burlywood",shape="box"];40817[label="wx36180/Succ wx361800",fontsize=10,color="white",style="solid",shape="box"];38437 -> 40817[label="",style="solid", color="burlywood", weight=9];
40817 -> 38445[label="",style="solid", color="burlywood", weight=3];
40818[label="wx36180/Zero",fontsize=10,color="white",style="solid",shape="box"];38437 -> 40818[label="",style="solid", color="burlywood", weight=9];
40818 -> 38446[label="",style="solid", color="burlywood", weight=3];
35745 -> 36478[label="",style="dashed", color="red", weight=0];
35745[label="nubNub'1 (Char (Succ wx3442)) wx3443 (Char Zero : wx3444) ((||) primEqNat (Succ wx3442) wx34450 foldr (||) False (map (primEqChar (Char (Succ wx3442))) wx3446))",fontsize=16,color="magenta"];35745 -> 36479[label="",style="dashed", color="magenta", weight=3];
35745 -> 36480[label="",style="dashed", color="magenta", weight=3];
35745 -> 36481[label="",style="dashed", color="magenta", weight=3];
35745 -> 36482[label="",style="dashed", color="magenta", weight=3];
35745 -> 36483[label="",style="dashed", color="magenta", weight=3];
35745 -> 36484[label="",style="dashed", color="magenta", weight=3];
38445[label="nubNub'1 (Char Zero) wx3615 (Char (Succ wx3616) : wx3617) ((||) primEqNat Zero (Succ wx361800) foldr (||) False (map (primEqChar (Char Zero)) wx3619))",fontsize=16,color="black",shape="box"];38445 -> 38459[label="",style="solid", color="black", weight=3];
38446[label="nubNub'1 (Char Zero) wx3615 (Char (Succ wx3616) : wx3617) ((||) primEqNat Zero Zero foldr (||) False (map (primEqChar (Char Zero)) wx3619))",fontsize=16,color="black",shape="box"];38446 -> 38460[label="",style="solid", color="black", weight=3];
36479[label="wx3444",fontsize=16,color="green",shape="box"];36480[label="wx34450",fontsize=16,color="green",shape="box"];36481[label="wx3446",fontsize=16,color="green",shape="box"];36482[label="Succ wx3442",fontsize=16,color="green",shape="box"];36483[label="wx3442",fontsize=16,color="green",shape="box"];36484[label="wx3443",fontsize=16,color="green",shape="box"];36478[label="nubNub'1 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) ((||) primEqNat wx3500 wx3501 foldr (||) False (map (primEqChar (Char (Succ wx3497))) wx3502))",fontsize=16,color="burlywood",shape="triangle"];40820[label="wx3500/Succ wx35000",fontsize=10,color="white",style="solid",shape="box"];36478 -> 40820[label="",style="solid", color="burlywood", weight=9];
40820 -> 36521[label="",style="solid", color="burlywood", weight=3];
40821[label="wx3500/Zero",fontsize=10,color="white",style="solid",shape="box"];36478 -> 40821[label="",style="solid", color="burlywood", weight=9];
40821 -> 36522[label="",style="solid", color="burlywood", weight=3];
38459[label="nubNub'1 (Char Zero) wx3615 (Char (Succ wx3616) : wx3617) ((||) False foldr (||) False (map (primEqChar (Char Zero)) wx3619))",fontsize=16,color="black",shape="box"];38459 -> 38471[label="",style="solid", color="black", weight=3];
38460[label="nubNub'1 (Char Zero) wx3615 (Char (Succ wx3616) : wx3617) ((||) True foldr (||) False (map (primEqChar (Char Zero)) wx3619))",fontsize=16,color="black",shape="box"];38460 -> 38472[label="",style="solid", color="black", weight=3];
36521[label="nubNub'1 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) ((||) primEqNat (Succ wx35000) wx3501 foldr (||) False (map (primEqChar (Char (Succ wx3497))) wx3502))",fontsize=16,color="burlywood",shape="box"];40822[label="wx3501/Succ wx35010",fontsize=10,color="white",style="solid",shape="box"];36521 -> 40822[label="",style="solid", color="burlywood", weight=9];
40822 -> 36526[label="",style="solid", color="burlywood", weight=3];
40823[label="wx3501/Zero",fontsize=10,color="white",style="solid",shape="box"];36521 -> 40823[label="",style="solid", color="burlywood", weight=9];
40823 -> 36527[label="",style="solid", color="burlywood", weight=3];
36522[label="nubNub'1 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) ((||) primEqNat Zero wx3501 foldr (||) False (map (primEqChar (Char (Succ wx3497))) wx3502))",fontsize=16,color="burlywood",shape="box"];40824[label="wx3501/Succ wx35010",fontsize=10,color="white",style="solid",shape="box"];36522 -> 40824[label="",style="solid", color="burlywood", weight=9];
40824 -> 36528[label="",style="solid", color="burlywood", weight=3];
40825[label="wx3501/Zero",fontsize=10,color="white",style="solid",shape="box"];36522 -> 40825[label="",style="solid", color="burlywood", weight=9];
40825 -> 36529[label="",style="solid", color="burlywood", weight=3];
38471[label="nubNub'1 (Char Zero) wx3615 (Char (Succ wx3616) : wx3617) (foldr (||) False (map (primEqChar (Char Zero)) wx3619))",fontsize=16,color="burlywood",shape="box"];40826[label="wx3619/wx36190 : wx36191",fontsize=10,color="white",style="solid",shape="box"];38471 -> 40826[label="",style="solid", color="burlywood", weight=9];
40826 -> 38485[label="",style="solid", color="burlywood", weight=3];
40827[label="wx3619/[]",fontsize=10,color="white",style="solid",shape="box"];38471 -> 40827[label="",style="solid", color="burlywood", weight=9];
40827 -> 38486[label="",style="solid", color="burlywood", weight=3];
38472[label="nubNub'1 (Char Zero) wx3615 (Char (Succ wx3616) : wx3617) True",fontsize=16,color="black",shape="box"];38472 -> 38487[label="",style="solid", color="black", weight=3];
36526[label="nubNub'1 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) ((||) primEqNat (Succ wx35000) (Succ wx35010) foldr (||) False (map (primEqChar (Char (Succ wx3497))) wx3502))",fontsize=16,color="black",shape="box"];36526 -> 36535[label="",style="solid", color="black", weight=3];
36527[label="nubNub'1 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) ((||) primEqNat (Succ wx35000) Zero foldr (||) False (map (primEqChar (Char (Succ wx3497))) wx3502))",fontsize=16,color="black",shape="box"];36527 -> 36536[label="",style="solid", color="black", weight=3];
36528[label="nubNub'1 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) ((||) primEqNat Zero (Succ wx35010) foldr (||) False (map (primEqChar (Char (Succ wx3497))) wx3502))",fontsize=16,color="black",shape="box"];36528 -> 36537[label="",style="solid", color="black", weight=3];
36529[label="nubNub'1 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) ((||) primEqNat Zero Zero foldr (||) False (map (primEqChar (Char (Succ wx3497))) wx3502))",fontsize=16,color="black",shape="box"];36529 -> 36538[label="",style="solid", color="black", weight=3];
38485[label="nubNub'1 (Char Zero) wx3615 (Char (Succ wx3616) : wx3617) (foldr (||) False (map (primEqChar (Char Zero)) (wx36190 : wx36191)))",fontsize=16,color="black",shape="box"];38485 -> 38505[label="",style="solid", color="black", weight=3];
38486[label="nubNub'1 (Char Zero) wx3615 (Char (Succ wx3616) : wx3617) (foldr (||) False (map (primEqChar (Char Zero)) []))",fontsize=16,color="black",shape="box"];38486 -> 38506[label="",style="solid", color="black", weight=3];
38487 -> 38340[label="",style="dashed", color="red", weight=0];
38487[label="nubNub' wx3615 (Char (Succ wx3616) : wx3617)",fontsize=16,color="magenta"];38487 -> 38507[label="",style="dashed", color="magenta", weight=3];
38487 -> 38508[label="",style="dashed", color="magenta", weight=3];
38487 -> 38509[label="",style="dashed", color="magenta", weight=3];
36535 -> 36478[label="",style="dashed", color="red", weight=0];
36535[label="nubNub'1 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) ((||) primEqNat wx35000 wx35010 foldr (||) False (map (primEqChar (Char (Succ wx3497))) wx3502))",fontsize=16,color="magenta"];36535 -> 36545[label="",style="dashed", color="magenta", weight=3];
36535 -> 36546[label="",style="dashed", color="magenta", weight=3];
36536[label="nubNub'1 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) ((||) False foldr (||) False (map (primEqChar (Char (Succ wx3497))) wx3502))",fontsize=16,color="black",shape="triangle"];36536 -> 36547[label="",style="solid", color="black", weight=3];
36537 -> 36536[label="",style="dashed", color="red", weight=0];
36537[label="nubNub'1 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) ((||) False foldr (||) False (map (primEqChar (Char (Succ wx3497))) wx3502))",fontsize=16,color="magenta"];36538[label="nubNub'1 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) ((||) True foldr (||) False (map (primEqChar (Char (Succ wx3497))) wx3502))",fontsize=16,color="black",shape="box"];36538 -> 36548[label="",style="solid", color="black", weight=3];
38505 -> 38392[label="",style="dashed", color="red", weight=0];
38505[label="nubNub'1 (Char Zero) wx3615 (Char (Succ wx3616) : wx3617) (foldr (||) False (primEqChar (Char Zero) wx36190 : map (primEqChar (Char Zero)) wx36191))",fontsize=16,color="magenta"];38505 -> 38527[label="",style="dashed", color="magenta", weight=3];
38505 -> 38528[label="",style="dashed", color="magenta", weight=3];
38506[label="nubNub'1 (Char Zero) wx3615 (Char (Succ wx3616) : wx3617) (foldr (||) False [])",fontsize=16,color="black",shape="box"];38506 -> 38529[label="",style="solid", color="black", weight=3];
38507[label="wx3616",fontsize=16,color="green",shape="box"];38508[label="wx3615",fontsize=16,color="green",shape="box"];38509[label="wx3617",fontsize=16,color="green",shape="box"];36545[label="wx35010",fontsize=16,color="green",shape="box"];36546[label="wx35000",fontsize=16,color="green",shape="box"];36547[label="nubNub'1 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) (foldr (||) False (map (primEqChar (Char (Succ wx3497))) wx3502))",fontsize=16,color="burlywood",shape="box"];40832[label="wx3502/wx35020 : wx35021",fontsize=10,color="white",style="solid",shape="box"];36547 -> 40832[label="",style="solid", color="burlywood", weight=9];
40832 -> 36556[label="",style="solid", color="burlywood", weight=3];
40833[label="wx3502/[]",fontsize=10,color="white",style="solid",shape="box"];36547 -> 40833[label="",style="solid", color="burlywood", weight=9];
40833 -> 36557[label="",style="solid", color="burlywood", weight=3];
36548[label="nubNub'1 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) True",fontsize=16,color="black",shape="box"];36548 -> 36558[label="",style="solid", color="black", weight=3];
38527[label="wx36191",fontsize=16,color="green",shape="box"];38528[label="wx36190",fontsize=16,color="green",shape="box"];38529[label="nubNub'1 (Char Zero) wx3615 (Char (Succ wx3616) : wx3617) False",fontsize=16,color="black",shape="box"];38529 -> 38551[label="",style="solid", color="black", weight=3];
36556[label="nubNub'1 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) (foldr (||) False (map (primEqChar (Char (Succ wx3497))) (wx35020 : wx35021)))",fontsize=16,color="black",shape="box"];36556 -> 36574[label="",style="solid", color="black", weight=3];
36557[label="nubNub'1 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) (foldr (||) False (map (primEqChar (Char (Succ wx3497))) []))",fontsize=16,color="black",shape="box"];36557 -> 36575[label="",style="solid", color="black", weight=3];
36558 -> 32780[label="",style="dashed", color="red", weight=0];
36558[label="nubNub' wx3498 (Char Zero : wx3499)",fontsize=16,color="magenta"];36558 -> 36576[label="",style="dashed", color="magenta", weight=3];
36558 -> 36577[label="",style="dashed", color="magenta", weight=3];
38551[label="nubNub'0 (Char Zero) wx3615 (Char (Succ wx3616) : wx3617) otherwise",fontsize=16,color="black",shape="box"];38551 -> 38578[label="",style="solid", color="black", weight=3];
36574 -> 35482[label="",style="dashed", color="red", weight=0];
36574[label="nubNub'1 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) (foldr (||) False (primEqChar (Char (Succ wx3497)) wx35020 : map (primEqChar (Char (Succ wx3497))) wx35021))",fontsize=16,color="magenta"];36574 -> 36585[label="",style="dashed", color="magenta", weight=3];
36574 -> 36586[label="",style="dashed", color="magenta", weight=3];
36574 -> 36587[label="",style="dashed", color="magenta", weight=3];
36574 -> 36588[label="",style="dashed", color="magenta", weight=3];
36574 -> 36589[label="",style="dashed", color="magenta", weight=3];
36575[label="nubNub'1 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) (foldr (||) False [])",fontsize=16,color="black",shape="box"];36575 -> 36590[label="",style="solid", color="black", weight=3];
36576[label="wx3499",fontsize=16,color="green",shape="box"];36577[label="wx3498",fontsize=16,color="green",shape="box"];38578[label="nubNub'0 (Char Zero) wx3615 (Char (Succ wx3616) : wx3617) True",fontsize=16,color="black",shape="box"];38578 -> 38608[label="",style="solid", color="black", weight=3];
36585[label="wx35021",fontsize=16,color="green",shape="box"];36586[label="wx3499",fontsize=16,color="green",shape="box"];36587[label="wx3497",fontsize=16,color="green",shape="box"];36588[label="wx3498",fontsize=16,color="green",shape="box"];36589[label="wx35020",fontsize=16,color="green",shape="box"];36590[label="nubNub'1 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) False",fontsize=16,color="black",shape="box"];36590 -> 36598[label="",style="solid", color="black", weight=3];
38608[label="Char Zero : nubNub' wx3615 (Char Zero : Char (Succ wx3616) : wx3617)",fontsize=16,color="green",shape="box"];38608 -> 38644[label="",style="dashed", color="green", weight=3];
36598[label="nubNub'0 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) otherwise",fontsize=16,color="black",shape="box"];36598 -> 36607[label="",style="solid", color="black", weight=3];
38644 -> 32780[label="",style="dashed", color="red", weight=0];
38644[label="nubNub' wx3615 (Char Zero : Char (Succ wx3616) : wx3617)",fontsize=16,color="magenta"];38644 -> 38684[label="",style="dashed", color="magenta", weight=3];
38644 -> 38685[label="",style="dashed", color="magenta", weight=3];
36607[label="nubNub'0 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) True",fontsize=16,color="black",shape="box"];36607 -> 36614[label="",style="solid", color="black", weight=3];
38684[label="Char (Succ wx3616) : wx3617",fontsize=16,color="green",shape="box"];38685[label="wx3615",fontsize=16,color="green",shape="box"];36614[label="Char (Succ wx3497) : nubNub' wx3498 (Char (Succ wx3497) : Char Zero : wx3499)",fontsize=16,color="green",shape="box"];36614 -> 36631[label="",style="dashed", color="green", weight=3];
36631[label="nubNub' wx3498 (Char (Succ wx3497) : Char Zero : wx3499)",fontsize=16,color="burlywood",shape="triangle"];40837[label="wx3498/wx34980 : wx34981",fontsize=10,color="white",style="solid",shape="box"];36631 -> 40837[label="",style="solid", color="burlywood", weight=9];
40837 -> 36637[label="",style="solid", color="burlywood", weight=3];
40838[label="wx3498/[]",fontsize=10,color="white",style="solid",shape="box"];36631 -> 40838[label="",style="solid", color="burlywood", weight=9];
40838 -> 36638[label="",style="solid", color="burlywood", weight=3];
36637[label="nubNub' (wx34980 : wx34981) (Char (Succ wx3497) : Char Zero : wx3499)",fontsize=16,color="black",shape="box"];36637 -> 36650[label="",style="solid", color="black", weight=3];
36638[label="nubNub' [] (Char (Succ wx3497) : Char Zero : wx3499)",fontsize=16,color="black",shape="box"];36638 -> 36651[label="",style="solid", color="black", weight=3];
36650[label="nubNub'2 (wx34980 : wx34981) (Char (Succ wx3497) : Char Zero : wx3499)",fontsize=16,color="black",shape="box"];36650 -> 36694[label="",style="solid", color="black", weight=3];
36651[label="nubNub'3 [] (Char (Succ wx3497) : Char Zero : wx3499)",fontsize=16,color="black",shape="box"];36651 -> 36695[label="",style="solid", color="black", weight=3];
36694[label="nubNub'1 wx34980 wx34981 (Char (Succ wx3497) : Char Zero : wx3499) (wx34980 `elem` Char (Succ wx3497) : Char Zero : wx3499)",fontsize=16,color="black",shape="box"];36694 -> 36697[label="",style="solid", color="black", weight=3];
36695[label="[]",fontsize=16,color="green",shape="box"];36697[label="nubNub'1 wx34980 wx34981 (Char (Succ wx3497) : Char Zero : wx3499) (any . (==))",fontsize=16,color="black",shape="box"];36697 -> 36699[label="",style="solid", color="black", weight=3];
36699 -> 37046[label="",style="dashed", color="red", weight=0];
36699[label="nubNub'1 wx34980 wx34981 (Char (Succ wx3497) : Char Zero : wx3499) (any ((==) wx34980) (Char (Succ wx3497) : Char Zero : wx3499))",fontsize=16,color="magenta"];36699 -> 37067[label="",style="dashed", color="magenta", weight=3];
36699 -> 37068[label="",style="dashed", color="magenta", weight=3];
36699 -> 37069[label="",style="dashed", color="magenta", weight=3];
36699 -> 37070[label="",style="dashed", color="magenta", weight=3];
37067[label="Char Zero : wx3499",fontsize=16,color="green",shape="box"];37068[label="wx3497",fontsize=16,color="green",shape="box"];37069[label="wx34980",fontsize=16,color="green",shape="box"];37070[label="wx34981",fontsize=16,color="green",shape="box"];}

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ LetRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                    ↳ DependencyGraphProof

                  ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_nubNub'14(Char(Succ(wx320800)), wx3209, :(wx32100, wx32101)) → new_nubNub'15(wx320800, wx3209, :(wx32100, wx32101), wx32100, wx32101)
new_nubNub'17(wx3497, wx3498, wx3499, Zero, Zero, wx3502) → new_nubNub'0(wx3498, wx3499)
new_nubNub'0(:(wx32090, wx32091), wx3210) → new_nubNub'14(wx32090, wx32091, wx3210)
new_nubNub'16(wx31000, :(wx3110, wx3111)) → new_nubNub'11(wx3110, wx3111, wx31000, :(Char(Zero), []))
new_nubNub'13(:(wx3110, wx3111), wx3000) → new_nubNub'14(wx3110, wx3111, :(Char(Succ(wx3000)), []))
new_nubNub'17(wx3497, wx3498, wx3499, Succ(wx35000), Succ(wx35010), wx3502) → new_nubNub'17(wx3497, wx3498, wx3499, wx35000, wx35010, wx3502)
new_nubNub'4(:(wx3110, wx3111), wx3000) → new_nubNub'14(wx3110, wx3111, :(Char(Succ(wx3000)), []))
new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Zero, Succ(wx37530), wx3754) → new_nubNub'10(wx3748, wx3749, wx3750, wx3751, wx3754)
new_nubNub'18(wx3497, :(wx34980, wx34981), wx3499, []) → new_nubNub'11(wx34980, wx34981, wx3497, :(Char(Zero), wx3499))
new_nubNub'17(wx3497, wx3498, wx3499, Succ(wx35000), Zero, :(wx35020, wx35021)) → new_nubNub'15(wx3497, wx3498, wx3499, wx35020, wx35021)
new_nubNub'14(Char(Zero), :(wx32090, wx32091), wx3210) → new_nubNub'14(wx32090, wx32091, wx3210)
new_nubNub'10(wx3748, wx3749, wx3750, wx3751, []) → new_nubNub'(wx3749, wx3748, :(Char(Succ(wx3750)), wx3751))
new_nubNub'(:(wx36090, wx36091), wx3610, wx3611) → new_nubNub'11(wx36090, wx36091, wx3610, wx3611)
new_nubNub'11(Char(Zero), wx3548, wx3549, []) → new_nubNub'13(wx3548, wx3549)
new_nubNub'18(wx3497, wx3498, wx3499, :(wx35020, wx35021)) → new_nubNub'15(wx3497, wx3498, wx3499, wx35020, wx35021)
new_nubNub'2(:(wx34980, wx34981), wx3497, wx3499) → new_nubNub'11(wx34980, wx34981, wx3497, :(Char(Zero), wx3499))
new_nubNub'10(wx3748, wx3749, wx3750, wx3751, :(Char(wx375400), wx37541)) → new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Succ(wx3748), wx375400, wx37541)
new_nubNub'11(Char(Zero), wx3548, wx3549, :(wx35500, wx35501)) → new_nubNub'12(wx3548, wx3549, :(wx35500, wx35501), wx35500, wx35501)
new_nubNub'15(wx3442, wx3443, wx3444, Char(wx34450), wx3446) → new_nubNub'17(wx3442, wx3443, wx3444, Succ(wx3442), wx34450, wx3446)
new_nubNub'17(wx3497, :(wx34980, wx34981), wx3499, Succ(wx35000), Zero, []) → new_nubNub'11(wx34980, wx34981, wx3497, :(Char(Zero), wx3499))
new_nubNub'17(wx3497, wx3498, wx3499, Zero, Succ(wx35010), wx3502) → new_nubNub'18(wx3497, wx3498, wx3499, wx3502)
new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Succ(wx37520), Zero, []) → new_nubNub'(wx3749, wx3748, :(Char(Succ(wx3750)), wx3751))
new_nubNub'14(Char(Succ(wx320800)), wx3209, []) → new_nubNub'16(wx320800, wx3209)
new_nubNub'12(wx3615, wx3616, wx3617, Char(Succ(wx361800)), []) → new_nubNub'0(wx3615, :(Char(Succ(wx3616)), wx3617))
new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Succ(wx37520), Succ(wx37530), wx3754) → new_nubNub'1(wx3748, wx3749, wx3750, wx3751, wx37520, wx37530, wx3754)
new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Succ(wx37520), Zero, :(Char(wx375400), wx37541)) → new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Succ(wx3748), wx375400, wx37541)
new_nubNub'12(wx3615, wx3616, wx3617, Char(Zero), wx3619) → new_nubNub'(wx3615, wx3616, wx3617)
new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Zero, Zero, wx3754) → new_nubNub'(wx3749, wx3750, wx3751)
new_nubNub'3(:(wx3110, wx3111), wx31000) → new_nubNub'11(wx3110, wx3111, wx31000, :(Char(Zero), []))
new_nubNub'11(Char(Succ(wx354700)), wx3548, wx3549, wx3550) → new_nubNub'1(wx354700, wx3548, wx3549, wx3550, wx354700, wx3549, wx3550)
new_nubNub'12(wx3615, wx3616, wx3617, Char(Succ(wx361800)), :(wx36190, wx36191)) → new_nubNub'12(wx3615, wx3616, wx3617, wx36190, wx36191)

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
The approximation of the Dependency Graph [15,17,22] contains 1 SCC with 3 less nodes.

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ LetRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                    ↳ DependencyGraphProof

                      ↳ QDP

                        ↳ QDPSizeChangeProof

                  ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_nubNub'14(Char(Succ(wx320800)), wx3209, :(wx32100, wx32101)) → new_nubNub'15(wx320800, wx3209, :(wx32100, wx32101), wx32100, wx32101)
new_nubNub'17(wx3497, wx3498, wx3499, Zero, Zero, wx3502) → new_nubNub'0(wx3498, wx3499)
new_nubNub'16(wx31000, :(wx3110, wx3111)) → new_nubNub'11(wx3110, wx3111, wx31000, :(Char(Zero), []))
new_nubNub'0(:(wx32090, wx32091), wx3210) → new_nubNub'14(wx32090, wx32091, wx3210)
new_nubNub'13(:(wx3110, wx3111), wx3000) → new_nubNub'14(wx3110, wx3111, :(Char(Succ(wx3000)), []))
new_nubNub'17(wx3497, wx3498, wx3499, Succ(wx35000), Succ(wx35010), wx3502) → new_nubNub'17(wx3497, wx3498, wx3499, wx35000, wx35010, wx3502)
new_nubNub'18(wx3497, :(wx34980, wx34981), wx3499, []) → new_nubNub'11(wx34980, wx34981, wx3497, :(Char(Zero), wx3499))
new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Zero, Succ(wx37530), wx3754) → new_nubNub'10(wx3748, wx3749, wx3750, wx3751, wx3754)
new_nubNub'14(Char(Zero), :(wx32090, wx32091), wx3210) → new_nubNub'14(wx32090, wx32091, wx3210)
new_nubNub'17(wx3497, wx3498, wx3499, Succ(wx35000), Zero, :(wx35020, wx35021)) → new_nubNub'15(wx3497, wx3498, wx3499, wx35020, wx35021)
new_nubNub'10(wx3748, wx3749, wx3750, wx3751, []) → new_nubNub'(wx3749, wx3748, :(Char(Succ(wx3750)), wx3751))
new_nubNub'(:(wx36090, wx36091), wx3610, wx3611) → new_nubNub'11(wx36090, wx36091, wx3610, wx3611)
new_nubNub'11(Char(Zero), wx3548, wx3549, []) → new_nubNub'13(wx3548, wx3549)
new_nubNub'18(wx3497, wx3498, wx3499, :(wx35020, wx35021)) → new_nubNub'15(wx3497, wx3498, wx3499, wx35020, wx35021)
new_nubNub'10(wx3748, wx3749, wx3750, wx3751, :(Char(wx375400), wx37541)) → new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Succ(wx3748), wx375400, wx37541)
new_nubNub'11(Char(Zero), wx3548, wx3549, :(wx35500, wx35501)) → new_nubNub'12(wx3548, wx3549, :(wx35500, wx35501), wx35500, wx35501)
new_nubNub'15(wx3442, wx3443, wx3444, Char(wx34450), wx3446) → new_nubNub'17(wx3442, wx3443, wx3444, Succ(wx3442), wx34450, wx3446)
new_nubNub'17(wx3497, :(wx34980, wx34981), wx3499, Succ(wx35000), Zero, []) → new_nubNub'11(wx34980, wx34981, wx3497, :(Char(Zero), wx3499))
new_nubNub'17(wx3497, wx3498, wx3499, Zero, Succ(wx35010), wx3502) → new_nubNub'18(wx3497, wx3498, wx3499, wx3502)
new_nubNub'14(Char(Succ(wx320800)), wx3209, []) → new_nubNub'16(wx320800, wx3209)
new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Succ(wx37520), Zero, []) → new_nubNub'(wx3749, wx3748, :(Char(Succ(wx3750)), wx3751))
new_nubNub'12(wx3615, wx3616, wx3617, Char(Succ(wx361800)), []) → new_nubNub'0(wx3615, :(Char(Succ(wx3616)), wx3617))
new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Succ(wx37520), Succ(wx37530), wx3754) → new_nubNub'1(wx3748, wx3749, wx3750, wx3751, wx37520, wx37530, wx3754)
new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Succ(wx37520), Zero, :(Char(wx375400), wx37541)) → new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Succ(wx3748), wx375400, wx37541)
new_nubNub'12(wx3615, wx3616, wx3617, Char(Zero), wx3619) → new_nubNub'(wx3615, wx3616, wx3617)
new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Zero, Zero, wx3754) → new_nubNub'(wx3749, wx3750, wx3751)
new_nubNub'11(Char(Succ(wx354700)), wx3548, wx3549, wx3550) → new_nubNub'1(wx354700, wx3548, wx3549, wx3550, wx354700, wx3549, wx3550)
new_nubNub'12(wx3615, wx3616, wx3617, Char(Succ(wx361800)), :(wx36190, wx36191)) → new_nubNub'12(wx3615, wx3616, wx3617, wx36190, wx36191)

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs:

new_nubNub'17(wx3497, wx3498, wx3499, Succ(wx35000), Zero, :(wx35020, wx35021)) → new_nubNub'15(wx3497, wx3498, wx3499, wx35020, wx35021)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 6 > 4, 6 > 5
new_nubNub'17(wx3497, wx3498, wx3499, Succ(wx35000), Succ(wx35010), wx3502) → new_nubNub'17(wx3497, wx3498, wx3499, wx35000, wx35010, wx3502)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 > 4, 5 > 5, 6 >= 6
new_nubNub'17(wx3497, :(wx34980, wx34981), wx3499, Succ(wx35000), Zero, []) → new_nubNub'11(wx34980, wx34981, wx3497, :(Char(Zero), wx3499))
The graph contains the following edges 2 > 1, 2 > 2, 1 >= 3
new_nubNub'15(wx3442, wx3443, wx3444, Char(wx34450), wx3446) → new_nubNub'17(wx3442, wx3443, wx3444, Succ(wx3442), wx34450, wx3446)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 > 5, 5 >= 6
new_nubNub'0(:(wx32090, wx32091), wx3210) → new_nubNub'14(wx32090, wx32091, wx3210)
The graph contains the following edges 1 > 1, 1 > 2, 2 >= 3
new_nubNub'14(Char(Succ(wx320800)), wx3209, :(wx32100, wx32101)) → new_nubNub'15(wx320800, wx3209, :(wx32100, wx32101), wx32100, wx32101)
The graph contains the following edges 1 > 1, 2 >= 2, 3 >= 3, 3 > 4, 3 > 5
new_nubNub'18(wx3497, wx3498, wx3499, :(wx35020, wx35021)) → new_nubNub'15(wx3497, wx3498, wx3499, wx35020, wx35021)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 > 4, 4 > 5
new_nubNub'17(wx3497, wx3498, wx3499, Zero, Zero, wx3502) → new_nubNub'0(wx3498, wx3499)
The graph contains the following edges 2 >= 1, 3 >= 2
new_nubNub'17(wx3497, wx3498, wx3499, Zero, Succ(wx35010), wx3502) → new_nubNub'18(wx3497, wx3498, wx3499, wx3502)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 6 >= 4
new_nubNub'12(wx3615, wx3616, wx3617, Char(Succ(wx361800)), []) → new_nubNub'0(wx3615, :(Char(Succ(wx3616)), wx3617))
The graph contains the following edges 1 >= 1
new_nubNub'14(Char(Zero), :(wx32090, wx32091), wx3210) → new_nubNub'14(wx32090, wx32091, wx3210)
The graph contains the following edges 2 > 1, 2 > 2, 3 >= 3
new_nubNub'14(Char(Succ(wx320800)), wx3209, []) → new_nubNub'16(wx320800, wx3209)
The graph contains the following edges 1 > 1, 2 >= 2
new_nubNub'13(:(wx3110, wx3111), wx3000) → new_nubNub'14(wx3110, wx3111, :(Char(Succ(wx3000)), []))
The graph contains the following edges 1 > 1, 1 > 2
new_nubNub'16(wx31000, :(wx3110, wx3111)) → new_nubNub'11(wx3110, wx3111, wx31000, :(Char(Zero), []))
The graph contains the following edges 2 > 1, 2 > 2, 1 >= 3
new_nubNub'11(Char(Zero), wx3548, wx3549, :(wx35500, wx35501)) → new_nubNub'12(wx3548, wx3549, :(wx35500, wx35501), wx35500, wx35501)
The graph contains the following edges 2 >= 1, 3 >= 2, 4 >= 3, 4 > 4, 4 > 5
new_nubNub'11(Char(Succ(wx354700)), wx3548, wx3549, wx3550) → new_nubNub'1(wx354700, wx3548, wx3549, wx3550, wx354700, wx3549, wx3550)
The graph contains the following edges 1 > 1, 2 >= 2, 3 >= 3, 4 >= 4, 1 > 5, 3 >= 6, 4 >= 7
new_nubNub'12(wx3615, wx3616, wx3617, Char(Succ(wx361800)), :(wx36190, wx36191)) → new_nubNub'12(wx3615, wx3616, wx3617, wx36190, wx36191)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 5 > 4, 5 > 5
new_nubNub'12(wx3615, wx3616, wx3617, Char(Zero), wx3619) → new_nubNub'(wx3615, wx3616, wx3617)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3
new_nubNub'(:(wx36090, wx36091), wx3610, wx3611) → new_nubNub'11(wx36090, wx36091, wx3610, wx3611)
The graph contains the following edges 1 > 1, 1 > 2, 2 >= 3, 3 >= 4
new_nubNub'18(wx3497, :(wx34980, wx34981), wx3499, []) → new_nubNub'11(wx34980, wx34981, wx3497, :(Char(Zero), wx3499))
The graph contains the following edges 2 > 1, 2 > 2, 1 >= 3
new_nubNub'11(Char(Zero), wx3548, wx3549, []) → new_nubNub'13(wx3548, wx3549)
The graph contains the following edges 2 >= 1, 3 >= 2
new_nubNub'10(wx3748, wx3749, wx3750, wx3751, []) → new_nubNub'(wx3749, wx3748, :(Char(Succ(wx3750)), wx3751))
The graph contains the following edges 2 >= 1, 1 >= 2
new_nubNub'10(wx3748, wx3749, wx3750, wx3751, :(Char(wx375400), wx37541)) → new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Succ(wx3748), wx375400, wx37541)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 >= 4, 5 > 6, 5 > 7
new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Succ(wx37520), Succ(wx37530), wx3754) → new_nubNub'1(wx3748, wx3749, wx3750, wx3751, wx37520, wx37530, wx3754)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 >= 4, 5 > 5, 6 > 6, 7 >= 7
new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Zero, Succ(wx37530), wx3754) → new_nubNub'10(wx3748, wx3749, wx3750, wx3751, wx3754)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 >= 4, 7 >= 5
new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Succ(wx37520), Zero, :(Char(wx375400), wx37541)) → new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Succ(wx3748), wx375400, wx37541)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 >= 4, 7 > 6, 7 > 7
new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Succ(wx37520), Zero, []) → new_nubNub'(wx3749, wx3748, :(Char(Succ(wx3750)), wx3751))
The graph contains the following edges 2 >= 1, 1 >= 2
new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Zero, Zero, wx3754) → new_nubNub'(wx3749, wx3750, wx3751)
The graph contains the following edges 2 >= 1, 3 >= 2, 4 >= 3

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ LetRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                    ↳ QDPSizeChangeProof

Q DP problem:
The TRS P consists of the following rules:

new_nubNub'5(:(Char(Zero), wx311), Char(Zero)) → new_nubNub'5(wx311, Char(Zero))

From the DPs we obtained the following set of size-change graphs:

new_nubNub'5(:(Char(Zero), wx311), Char(Zero)) → new_nubNub'5(wx311, Char(Zero))
The graph contains the following edges 1 > 1, 1 > 2, 2 >= 2

nub'1	x xs ls True	= nub' xs ls
nub'1	x xs ls False	= nub'0 x xs ls otherwise

nubNub'	[] vw	= nubNub'3 [] vw
nubNub'	(x : xs) ls	= nubNub'2 (x : xs) ls

nubNub'1	x xs ls True	= nubNub' xs ls
nubNub'1	x xs ls False	= nubNub'0 x xs ls otherwise